* doc/lispref/makefile.w32-in (srcs): Remove locals.texi.
authorGlenn Morris <rgm@gnu.org>
Tue, 28 Feb 2012 07:30:20 +0000 (23:30 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 28 Feb 2012 07:30:20 +0000 (23:30 -0800)
commitc8c5b22266f2db2d5ab2ace6c725a0d97131d12e
treea48e04a502c2db277be8b751e0be5d3b830d44e5
parent53006bf5a2703f40a74c6d1678721002323c113f
* doc/lispref/makefile.w32-in (srcs): Remove locals.texi.
doc/lispref/ChangeLog
doc/lispref/makefile.w32-in